翻訳と辞書 Words near each other ・ "O" Is for Outlaw ・ "O"-Jung.Ban.Hap. ・ "Ode-to-Napoleon" hexachord ・ "Oh Yeah!" Live ・ "Our Contemporary" regional art exhibition (Leningrad, 1975) ・ "P" Is for Peril ・ "Pimpernel" Smith ・ "Polish death camp" controversy ・ "Pro knigi" ("About books") ・ "Prosopa" Greek Television Awards ・ "Pussy Cats" Starring the Walkmen ・ "Q" Is for Quarry ・ "R" Is for Ricochet ・ "R" The King (2016 film) ・ "Rags" Ragland ・ ! (album) ・ ! (disambiguation) ・ !! ・ !!! ・ !!! (album) ・ !!Destroy-Oh-Boy!! ・ !Action Pact! ・ !Arriba! La Pachanga ・ !Hero ・ !Hero (album) ・ !Kung language ・ !Oka Tokat ・ !PAUS3 ・ !T.O.O.H.! ・ !Women Art Revolution Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク closed immersion ： ウィキペディア英語版 closed immersion :''For the same-name concept in differential geometry, see immersion (mathematics).'' In algebraic geometry, a closed immersion of schemes is a morphism of schemes $f:\; Z\; \backslash to\; X$ that identifies ''Z'' as a closed subset of ''X'' such that regular functions on ''Z'' can be extended locally to ''X''.〔Mumford, ''The Red Book of Varieties and Schemes'', Section II.5〕 The latter condition can be formalized by saying that $f^\backslash \#:\backslash mathcal\_X\backslash rightarrow\; f\_\backslash ast\backslash mathcal\_Z$ is surjective. An example is the inclusion map $\backslash operatorname(R/I)\; \backslash to\; \backslash operatorname(R)$ induced by the canonical map $R\; \backslash to\; R/I$. ==Other characterizations== The following are equivalent: #$f:\; Z\; \backslash to\; X$ is a closed immersion. #For every open affine $U\; =\; \backslash operatorname(R)\; \backslash subset\; X$, there exists an ideal $I\; \backslash subset\; R$ such that $f^(U)\; =\; \backslash operatorname(R/I)$ as schemes over ''U''. #There exists an open affine covering $X\; =\; \backslash bigcup\; U\_j,\; U\_j\; =\; \backslash operatorname\; R\_j$ and for each ''j'' there exists an ideal $I\_j\; \backslash subset\; R\_j$ such that $f^(U\_j)\; =\; \backslash operatorname\; (R\_j\; /\; I\_j)$ as schemes over $U\_j$. #There is a quasi-coherent sheaf of ideals $\backslash mathcal$ on ''X'' such that $f\_\backslash ast\backslash mathcal\_Z\backslash cong\; \backslash mathcal\_X/\backslash mathcal$ and ''f'' is an isomorphism of ''Z'' onto the global Spec of $\backslash mathcal\_X/\backslash mathcal$ over ''X''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「closed immersion」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.